<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html lang="en-US">
<head profile="http://www.w3.org/2005/10/profile">
    <link rel="icon" type="image/png" href="https://googledrive.com/host/0B01TamsYoMI-dGIyRGFUb0VmNVU/favicon.png">
    <link rel="icon" type="image/png" href="./favicon.png">
	<link rel="stylesheet" href="./style.css" type="text/css" />
	<title>Temporal Logic Prover For Semantic Tableaux Method</title>
</head>
<body>
	<div class="header">
		<div class="title">PROVER</div>
		<div class="subtitle">Temporal Logic Prover For Semantic Tableaux Method</div>
	</div>
	<div id="stripe"></div>
	<div class="content">
		<applet
			code = "controler/WebApplication.class"
			archive="./The-Muffin-Project.jar"
			width = "1080"
			height = "550">
			<div class="center">
				To use prover install <a target="_blank" href="http://www.java.com/en/download/index.jsp">Java JRE</a>
			</div>
		</applet>
    </div>
    <div class="footer">
		<div class="authors">
			<div class="label">authors:</div>
			<div class="author">Joanna Kulesza</div>
			<div class="author">Kamil Lopata</div>
		</div>
        <div class="download">
            <a target="_blank" href="https://code.google.com/p/the-muffin-project/downloads/list">download desktop version</a>
        </div>
		<div class="project">
			<a target="_blank" href="http://the-muffin-project.googlecode.com">the-muffin-project.googlecode.com</a>
    </div>
</body>
</html>
